Bump version to PHP 5.4, remove 5.3 specific hacks

See also #126.