Bump version to PHP 5.4, remove 5.3 specific hacks

Replaces #173.