Update documentation (README and tex files)