Record GPS time in FITS file

Record posterior-weighted mean time in FITS header.

This pull request includes some stylistic changes too.