vty-ui-1.0: doc/title_page.tex

\title{\vtyui\ User's Manual}
\author{
  For \vtyui\ version \vtyuiversion\\
  Jonathan Daugherty (\href{mailto:jtd@galois.com}{jtd@galois.com})
}
\maketitle