removed automatically-generated code;
added non-source-code Satallax files;
added missing files, removed extra files;
src/config.ml is generated by the configure script, and contains installation-specific data, so no need to include here;
added src/config.ml to .gitignore, following @12d1b7d404da64834df7b8043e92054ffa145e32
completed the changes related to setting proof output format from the command line;
forcing inclusion of empty bin directory, to avoid tweaking build process;
specified hiding of bin/ in root .gitignore;
updated readmes: README refers to my fork, and README.2 is Satallax's readme;
final step, to force creation of empty bin directory, to avoid any changes to the actual build process;