Saving to file and correctness tests
- new command-line argument (-f) to specify the output file
- new function in life_hpc2.c to save the final state of the grid to a binary file
- new targets in Makefile to enable correctness tests