Merge from ergo

git-svn-id: svn://svn.code.sf.net/p/flora/src/trunk@1206 0877669f-6caa-400d-a9c2-f8e882ed57a8
small installation fixes

git-svn-id: svn://svn.code.sf.net/p/flora/src/trunk@1207 0877669f-6caa-400d-a9c2-f8e882ed57a8
Merge from Ergo:
reverst the semantics of empty frames to what it was some 10 years ago: empty frames are not true tautologically, but instead depend on whether the frame's object has been made known to the KB

Escape '"' when writing datatypes and such.

git-svn-id: svn://svn.code.sf.net/p/flora/src/trunk@1208 0877669f-6caa-400d-a9c2-f8e882ed57a8
don't use Emacs style quoting in error messages. unbalanced
single-quotes causes problems with quoted-string highlighting in Emacs
more backtick removal
add exercise
add cc_fPIC patch if needed in the future
fix naf -> \naf and stuff in visualizer