thesis submitted: fixes in CFG parsing, update of user reference, website tweaks and cleanup

2 jobs for wip in 55 seconds (queued for 17 seconds)