Replace worldlist by generic filterlist implementation
Add port to favorites if not 30000
Major modmgr overhaul
Add missing formspec checkbox doc
filterlist api cleanup
Add playernumber to favorites list
Add configurable curl timeout