Move documentation to doc/