Computing Graph Connectivity with Small Space