Merge pull request #286 from gilles-peskine-arm/psasim-serialize-unsigned-int

psasim serialize: Support a few more standard C types