Moved some documentation files into docs/.