Make sure server-running-p is always available

though I feel a bit guilty for adding a require.
Note a possibe lame hack for editing ugly PHP files

which sort of deserve lame hacks, really.