Added embedding of edit lenses
Merge branch 'sqlite' of github.com:cornell-pl/ajmani.js into sqlite