[jbosstools-dev] Moved profiler and workingest to github