add distance def, boundary def and a characterizatin lemma for boundary to ms:
add definition of interior and quick lemma to ms
Merge branch 'master' into gh-pages
rebuild ms