Use sf.net submodules for travis