Update the document

The documents has been updated according to the latest code, and the
theme of the sphinx documentation has been changed to the rtd sphinx
theme.