Bug fix in extended prover: tag substitution must happen even in safety
mode when looking for backlinks.  Applied same fix to normal while
prover.  Also changed fresh variable generation in the ext. prover so
that they are fresh across sequents not just preconditions.
Merge branch 'master' of https://github.com/ngorogiannis/cyclist.git