Actually kill the mongod process on stop

Also some comment/style tweaks