Test that PHP's xml extension is loaded

This doesn’t test that it’s installed, just whether it’s loaded, but
this may well be good enough. Closes #513.