Merge remote-tracking branch '01/devel'
Merge remote-tracking branch '01/devel'
push && pop operation optimisation for coverage_report. Now eg. uwalks is a bit faster (on my test, it was about 30times faster...)
Merge branch 'master' of github.com:pablovirolainen/fMBT