BanManager WebUI v1.3.0

• Fix a few bugs
  • Length calculation of "previous mutes"
  • Failed player search
  • UUID to player name conversion
  • CSS source map generated by Grunt
• Add new placeholders in skin URL config: %uuid% and %name% (thanks @jomo)
• More SASS
• Remove custom scrollbar
• phplint Grunt task
• Improve IP search
• Poor-man's-subnet-IP-search