Small improvements to addrow procedure
Merge branch 'trunk' of github.com:alexjbest/flint2 into trunk