move the main RESTling repo to its new home