Calculate and store the CRC32 of the model.

* The file_crc32 function in main.cc is used to calculate the CRC32
  of the model's file. Internally it uses Boost's CRC algorithms.
* It is written as an attribute to the output HDF5 file, for which
  we needed writeAttribute for unsigned int.