Bumb version number to 1.7.2-3.1.0-a5 for development towards next release.
Fix/improve the Pause functionality: also pause motion, preserve timer.