update lemon
some install notes
remove captchas
update clingo-5 in the browser
update clingo on the web to version 5.0
interface update
update pyclingo doc