The WSGI/Flask code was developed under the name "jmapp" but that
name is not particularly informative so this revision renames many
of the associated files consistent with the plan for the wsgi/flask
code to eventually be the only supported web back end (ie drop cgi):
  jmdictdb/jmapp.py -> flaskapp.py (can't call it flask.py because
    that conflicts with the flask module.)
  tools/run-jmapp.py -> run-flask.py.
Documentation (not committed yet) will suggest:
  lib/jmapp.log -> jmdictdb.log (for interim case where both cgi
    and wsgi are available and separate log files are desired, the
    recommentation in jmwsgi.log for the wsgi log file.)
  lib/jmapp.ini -> jmdictdb.ini
  cgi/jmapp.wsgi -> jmdictdb.wsgi
  urlroot: /jmapp -> /jmwsgi
  process group: jmapp -> jmwsgi

Also removed jmdictdb.wsgi from list of files to install; the version
in the cgi directory is for serving the development files and is
incorrect for the system install.