update rcov config instructions and fix RcovHotspot map bug
merge remote with local