Fixed docs generation

1. There's no need to keep auto-generated docs in the tree, deleted.
2. phpagi_1.php no longer exists, but mkdocs generated docs for it too, fixed.
3. mkdocs.php used hardcoded path to php executable, replaced with /usr/bin/env php.