added version number to options.html (#163)