Implemented UUID-based banlist and IP banning.

The data is stored in a SQLite DB.
Merge pull request #86 from mc-server/BanlistUUID

Implemented UUID-based banlist and IP banning.
WebAdmin: Added Player Ranks tab
Added default rank option
Update ingame players if you remove all players
Fixed indentation
Renamed to GetAllPlayerUUIDs()
Players webtab: fixed sorting.
Merge branch 'master' into WebAdmin

Conflicts:
	web_players.lua
Merge pull request #88 from mc-server/WebAdmin

WebAdmin: Added more permission functions
PlayerRank webtab: Players are sorted by name.
PlayerRanks webtab: moved the per-player buttons next to each other.
PlayerRanks webtab: enlarged the pagination links.

Also fixed the page count calculation.
Plugins webtab: Added a CSS "warn" class.

This improves cooperation with the CSS.
Implemented advanced help command.

It now gives help for specific commands, too, using the generic syntax:
/help [<PageNum>] [<CommandPrefix>]
Merge pull request #85 from jan64/master

Added few commands
Merge pull request #1 from mc-server/master

updating repo