remove deve tools submodule
move deve tools to an alias to avoid url-type/firewall issues