bug fixes for running with TinyTim
 * fixed a few bugs raised by Jennifer
 * added a new flat-in-flambda spec file as the default for tinytim
 * Note that you still need to install tinytim v7.4+ and set the TINYTIM environmen
   variable for the tinytim model option to work