Added automatic push of develop to github.

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.