Adding info about submitting PRs to the develop branch rather than master