Merge branch 'develop'

Release 0.4.2:
  * Performance improvements in status.
  * Output of log is piped to less.