mantidplot -> pymantidplot, re #8912