Update instructions for developing on the develop branch

Updated instructions for developing on the `develop` branch. The preferred way to do so is by using the `bootstrap_develop.sh` script.