Added a developer document detailing our github workflow