Finalize installation section in the sphinx docs