autotesting ----------- * does Connie inherit Shamima's autotesting arrangements? or do we build something from firstyear a la Gabrielle? * Gabrielle's autotest system will need updating w.r.t. handling of Sicstus Prolog (new boundary marker syntax, etc). * open-ended filename structure at submit/autotest-time?