Added format constants.

These are convenience wrappers around the stand PRI* constants.
Prettified documentation; but incomplete as yet.
Merge branch 'topic-prettify' into develop
Streamlined 64-bit support.

The use of the C99 integer types in the stdint.h header file was
causing some unusual issues with the KVA Library and with Splint.
This has now been taken care of by removing the dependence on the
stdint.h and inttypes.h header files. Instead, 64-bit support has
now been provided through checks on the compilation environment.
Merge branch 'topic-64bit' into develop