added matplotlib.use instead of timer hack. pygmin.gui must be imported
before anythin else!