Add sphinx generation utilities

Apparently github pages can't directly serve .rst documents. Therefore,
we have to convert them manually.