Syllabus 0.7

First official release of Syllabus. This is the version used in the paper, plus some new features and usability changes.