Add rudimentary support for boost::posix_time::ptime

This presents ptime as a big integer rather than a human-readable string. I'm not sure of a safe and reliable method of turning this into a human readable string in some default (UTC?) timezone. 

However, this is still better than the paragraph of noise gdb prints without this pretty printer.