split introduction into its own file
revert back to a single file; makes error messages possible
change capitalization in Makefile
lighten penalty on pagebreaks between code lines; much better formatting
remove a problematic font definition, namely that for \rm
significant improvement of testing; using the "check" testing framework; better Makefile handling