Regenerate docs, add Travis, README.md for GitHub for 1.0.12.