Add an `elan` input which controls if `lean-action` installs `elan`

[austinletson]

The elan input can have similar semantics to the existing build, test, and lint inputs.