ServeCommand: error message when not using PHP 5.4

As discussed in #813.