Incrementally solve a Towers of Hanoi problem using a hand tailored incremental
solving loop.

Example calls:
  clingo-4-banane iclingo-py.lp tohI.lp tohE.lp
  clingo-4-banane iclingo-lua.lp tohI.lp tohE.lp
