separate theory for index structures
more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
added explaining comment; added ac_simps slot; drop unused abstract lattice; dropped mysterious syntax declaration
split SMT perl script: certificate caching and invokation of remote solvers are now in separate scripts,
modernized perl scripts: prefer standalone executables
removed paranoia setting of signal handler -- appears to be no longer necessary (thanks to Cygwin 1.7?);
modernized perl scripts: prefer standalone executables;
exec bash wrapper script directly -- avoid intermediate process;