Out-of-tree build for sphinx documents

The only drawback is that page source only contains include
directive. We disabled page source for now.
Update .gitignore