modify the minecraft bash script 1. remove the pid file after shutdown minecraft 2. check of rogue file does not check then the shutdown in work 3. check the permissions and inform the user
Merge pull request #124 from Talaren/master

Fix for "Rogue pidfile found!"
Merged from master