Renamed project to SnarkTools