Added instructions as to how to launch a serverspect test