removed gcontracts-tests submodule