up to 3.0.2 (2013-06-10)

- fixes #303: tablesort.js not found in Diagnosis and Coverager
- fixes #297: segv on startup under sparc, ini setting overflow
- fixes #296: (PHP5.4+ only bug), racecondition Multiple instances of the same software causes PHP "cannot redeclare class" errors when readonly_protection is not in use
- fixes #301: refix locking impl
- fixes #307: compatible with Zend Debugger which requires to be installed after Zend Extension Manager
do not enforce ini settings from app. these are set per system in php.ini!
fix files