fix integration weights sign
Merge branch 'devel' of github.com:nutils/nutils into devel