[ interaction README ] Cosmetic changes
Merge branch 'maint-2.4.0'
[ issue 1244 ] Added test cases

Testing the version option:
  * when used without type-check the file and
  * on a file with errors.
[ issue-1244 ] Fixed indentation
Merge remote-tracking branch 'upstream/master'