Remove some dead code; fix logout; make POST /user log you in; fix tests to test all of this.