New plugin: php manual lookup

Example: `php urlencode`
Yeah, that redirects to manual-lookup.php