Added "decoda" PHP vendor pack
Misc small fixes (JS loading, page header...)

* Removed the double <h1> in the page header
* Added the missing "ajax-alerts-display.php" action file
* Debug loading times are now displayed in milliseconds instead of seconds
Added an optional "strip whitespaces in packed PHP code" feature to the Packing Manager