Use RMextract master branch

Marcel Looserequested to merge
use_rmextract-master into master

Use the current HEAD of the master branch of RMextract, because we need fixes that have not yet been released.

Edited by Marcel Loose

Merge request reports