Fixed problem with assumption tactic (tactic with fact in general). Problem was with the IsaProver interface:
it uses get_all_assms and not get_all_facts - was set to return [] so no fact to use! Also started to add support for debug in eval -- allows to eg. just apply tactics.