docker environment for sphinx compilation