split isar_step into isar_step, fix, assms; made isar_proof explicit; register fixed variables in ctxt and auto_fix terms to avoid superfluous annotations

#!/usr/bin/env bash

#

# Author: Makarius

#

# Default Isabelle application wrapper.

exec "$(dirname "$0")"/bin/isabelle jedit -s "$@"