fix repository links

On the development page, the repository links were pointing to a github repo that wasn't updated for two years...