Added project specification

(was already available as PDF, but LaTeX source
had not actually been added to the repository)