dev_build.sh now used build.sh for easier maintenance

	modified:   allRepos
	modified:   build.sh
	modified:   dev_build.sh
Merge branch 'master' of https://github.com/ricrpi/mupen64plus

Conflicts:
	build.sh