updated linux_app-20191223: x86_64-linux;
clarified location of lib/scripts/Isabelle.run;