New PHP build: --enable-socket

Just enabling sockets, since the future of appjs seems to make it
possible to use PHP as the real page-servant! for that however I need
sockets… :p