Rename dev/ to develop/, mainly so missing the slash when redirecting to /dev/null doesn't put stuff in there.

--HG--
rename : dev/FeedGuildSchemaDiagram.png => develop/FeedGuildSchemaDiagram.png
rename : dev/app-provisioner.sh => develop/app-provisioner.sh
rename : dev/box-provisioner.sh => develop/box-provisioner.sh
rename : dev/hg2gitignore => develop/hg2gitignore
rename : dev/requirements.txt => develop/requirements.txt
rename : dev/runcleantests => develop/runcleantests
rename : dev/runtests => develop/runtests