[ Makefile ] Use $(VERSION) instead of fixed version 2.4.2.1.
[ interaction ] Accept empty input in Cmd_goal_context_infer.
[ interaction ] test for empty input in Cmd_goal_context_infer.
[ emacs-mode ] Hint on empty pattern variables to split on result.
Merge branch 'maint-2.4.2'