Bugs Correction

• /ms [player] from console was not working

Improvement

• /ms show now the pinged player's name

• Release for Java 7, compatible with java 8. If you encounter any problem with Java 8, go here