nicklists: * friends go to the top * ignored people go to the bottom * first time each of those happens it automatically scrolls there (to avoid "where did it go?!"-moments) friendslist/ignorelist: adding a nick to one will remove it from other

added dummy for tardis and ugly icons for tardis and structure also added ability to add goals for lua, but forgot it so might not work

expose set clan color for Cairo. might also be useful for betrayals in campaign mode or somesuch

still in developement take on adding structures, working hiding of hogs and ejecting them later. also some refactoring in uGears to evade "ambigous" variable names and, a little tweak to teleportation code that should not affect game but will help in for instance lua

bugfix: fixing sticky mines calling AddGearCI when they shouldn't (allows jumping on them in midair) thanks to CheezeMonkey for discovering this bug also: fix confusing indentation notice: this does NOT fix the hovering-mine-cluster-bug

Ask for another nickname on collision. Works only with new server.

Update frontend's project file

nick sorting: give letters priority over all other chars

sort nick lists case-insensitive

lua: getter and setter for hedgehog hats