add small script for looking up php manual