FIXED: format_time/3: %f rounding.  Igor Wojnicki.
CLEANUP: Deleted unused predicate from init.pl
SANDBOX: Consider global term expansion safe.  Only run local term
expansion through safe_goal/1.
FIXED: Allow colouring options for predicates that have otherwise specified
colour instructions.  E.g., the 2nd argument of load_files/2.
ADDED: load_files/2: option module(+Module) to force loading a file into
a given module.  Experimental option used to support Pengine sandboxes.
Fixed non-determinism
DOC: Various minor LaTeX issues, deleted -Asize commandline option
Fixed warning that -Asize and -Hsize no longer exist