add doc/motion.html, html translation of doc/motion.tex