Collection of add-ons and bugfixes for PSTricks
