Add script for php build-in server.
Update style of pygmentize.