[DOCUMENTATION] New repository URL

This updates the outdated repository URL in the manual and
also changes the list of branches to those currently maintained.