Shutdown 1915

I put back the --shutdown option on the mongod page.

The page had already had the info that --shutdown is available only on Linux.

I left in the changes on the procedures, where I've substituted db.shutdownServer() for --shutdown, so that OS X users won't get confused.