Script to add a project from github, including revisions

This will be extended to look for benchmarks in the
source tree, in some well defined way.

Also, this functionaliry might be added to the web app, ultimately.