update docs for new insert_meet behavior
Merge branch 'master' of github.com:dit/dit
Allow simultaneous insertions of random variables.