add view support for logic-translations

Also allow self/all switching for logic translations.
This should make switching between self-defined sentences and
all sentences for logic translated sentences possible.
add import support for imported sentences

This includes a new hets switch and
the parse/import of element <ImpAxioms>.
use count-method for sentence/symbol count-display

The .size method gets 'confused' when using
default_scope (since it does not apply the scope (correctly)).
do not rely on timestamp when clearing ontology

When importing an ontology we should not
rely on timestamps when clearing the entities/symbols
and sentences. Instead we should delete all of them
(for an ontology) before creating new ones.

We also call destroy on sentences, since
we want the callbacks to be executed.
bump minimal hets version to revision 18553

Since we now use the --full-theories switch, we
need a hets version which supports it.
fix logic translations question

Both parts of the UNION need to
select logic_ids in order to work properly. So
we shall not pass the ontology.id, but the
ontology.logic_id to the query.
delete translation when sentence is deleted.
set default of sentences.imported to false.
only execute callback on axiom when appropriate

Where appropriate means whether the
axiom was defined inside of an <Axioms> or <ImpAxioms>
element inside DGXML. Every other case results
in the callback not being executed.
refactor setting a sentence as imported

Instead of calling save again(which triggers an sql-query) we introduce
the `imported` attribute into the hash and set it in the
update_or_create_from_hash method accordingly. Also we refactor the
method to call sentences by their name (sentence), instead of `e`.

Also remove obsolete unused translate_for method.
use short syntax for block-method call.
safeguard against link being nil for translations.
remove unused target-variable.
change imported flag to a two-value field

Instead of the three values, we only want to
allow true and false.
create readable indentation for vanilla sql

squish will remove it on the object level.
refactor sql-reduce for readiblity.
add testing ontology in dol.
add spec-helper method to parse a specific file.
add basic specs for translations

Also add a helper method to get only
imported sentences.
handle hets-error where a file isn't an ontology

This is specifically targeted on catalog files.
Hets now returns a specific error message if
an 'ontology'-file is in unknown xml format,
so it probably isn't an ontology.