Added automatic push of develop to github.

Merged Markus Scheidgen requested to merge github into develop

This will automatically push develop commits to the github sister repository. The README now has a simplified project description and explain the relationship between our github and gitlab repositories.

Merge request reports