doc: swap CPPFLAGS for APPEND_CPPFLAGS

APPEND_CPPFLAGS will be understood by our CMake, whereas CPPFLAGS will not. Attempting what is currently documented will just give:

CMake Warning:
  Ignoring extra path from command line:

   "CPPFLAGS=-DDEBUG_LOCKCONTENTION"