Improve performance when loading a PHK map
Raise min php version to 5.1.2 as we need the hash extension

This was bundled with the core from 5.1.2
Adapt code to PHP 5.5 and 5.6
Add '.inc' and '.hh' as PHP file suffixes