Added documentation for our CI server.

This closes #1.