bugfixes, removed unused files, full constraint solver connectivity, added code to update prolog files when course and coursegroup information changes