Add "mission and values" page#839

ocfnash wants to merge 4 commits intolean4leanprover-community/leanprover-community.github.io:lean4from

ocfnash/add_valuesleanprover-community/leanprover-community.github.io:ocfnash/add_valuesCopy head branch name to clipboard