Broadcasts and stuff update

[FEATURE] Implemented broadcasting.
[ENHANCEMENT] Added nicer colors in the messages returned by /rsstores. Names of relevant stores and players are hightlighted in a darker shade of the color used. I plan to do this with all commands.
[ENHANCEMENT] Same thing with the messsages from the static methods in Shop.java
[CHANGE] Shops.db now store fewer settings. Those settings will be stored with player settings.
[BUGFIXES] Some of the ones already fixed in customitems...
[BUGFIX] New instances of PSettings not being added to set.
[SECURITY] getShops() and getPlayerSettings() now return clones of the sets, instead of the actual sets.

--Stuff left to do on this branch--
Save player settings in SQLite database
Add delete entrance/exit pair option to /rsset and /rssetstores
Fix limits on notifications; For the entire server, for one player, for one store to send...
Sales notifications
Reports
Check AI notifications
And color rest of the commands (though not necessarily all on this branch)
Fixed issue #9

[ENHANCEMENT] Colored the messages of /rssetprices.
[CHANGE] Changed syntax of /rssetprices. Optional store argument is now first. Together with this I also re-wrote the execute() command with a better syntax check and so on.
[BUGFIX] Fixed players with the right permissions not being able to manage admin stores.
[BUGFIX] Fixed console not being able to use the /rssetprices command.
[BUGFIX] Corrected wrong help text (and also changed the usage text to one easier to understand).
Merge with Playersettings branch

Merged with last changes in Playeretings branch.
Updated merge code

[BUGFIX] Fixed a nullpointer exception in method execute() of RSSetPrices: accessing the shop object for permission control before initializing it is bad.
[BUGFIX] Add method now works fine with the new format.
[BUGFIX] Fixed other little merge discrepancies.