Various code validity issues

[GoogleCodeExporter]

1. foma doesn't compile under recent versions of GCC. The problem is caused by 
the stricter policy followed by GCC as to when standard headers are included. 
The current workaround is to add

#include <stdbool.h>

to the file that includes fomalib.h. The solution would be to include this line 
in fomalib.h itself.

2. The parameter of fsm_read_binary_file(char*) should be a const char*. This 
goes for all other functions that accept a filename 
(fsm_read_binary_file_multiple_init, io_get_file_size, etc).

Original issue reported on code.google.com by [email protected] on 15 Jul 2013 at 1:20