add jmanual.pdf jmanual.dvi
use travis to generate pdf and htmls
Merge pull request #117 from k-okada/gendoc

use travis to generate pdf and htmls