LiveDocs - update

It was decided at the PHP Documentation Meeting at LinuxTag to go with livedocs as the solution for almost all of the PHP documentation problems.

This is great news for all involved - thanks to Derick Rethans and Ilia Alshanetsky for their contributions!