wxmaxima: add support for --HEAD

Closes #1116.