Update devenv.md

Change repository ID's to be the same between the regular and plugin repositories, because of Maven issue http://jira.codehaus.org/browse/MNG-5435?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&showAll=true.
Move repositories into single profile.