update merge script
Merge branch 'experimental' of github.com:gt1/libmaus into experimental