Add an elan input which controls if lean-action installs elan #128
Description
The elan input can have similar semantics to the existing build, test, and lint inputs.
{{ message }}
Add an