replace all occurences of devstudio.jboss.com with new domain devstudio.redhat.com (JBTIS-330)
Merge pull request #237 from nickboldt/JBTIS-330

replace all occurences of devstudio.jboss.com with new domain devstudio.redhat.com (JBTIS-330) >> master