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