Developer Documentation

This area is devoted to developers of the Galasa code. Here we can add some useful notes to help people understand the codebase, and how to build and use it.