lean4web

Support reading showGoalNames from URL params on page load (#60)

fix cypress tests?

fix MathlibDemo

fix: respect leanOptions in development mode

use lean --server again