Linking fs_spec with ssl.

Minor changes to sslScript (to make it easier to work in another theory, some overloadings have been made temporary).

Added dir_tree and fs_spec.

Made new theory spec_with_ssl, which is a very partial attempt to link these two worlds.

Simple Makefile - what is the correct way to invoke Holmake?