This repository accompanies a technical report describing the project. It can be found here (in the doc directory). For most background information, please refer to this document. Other miscellaneous ...