Algo2Lean versions

Each version keeps its matching compiler, browser runtime, and Lean libraries.