title: Command line: Show list of options and let user choose
body: <p>Assuming I have a list of options:</p>
  
  <pre><code>options = ["Option 1", "Option 2", "Option 3"]
  </code></pre>
  
  <p>And I would like the user to choose an option on the command line, e.g. something like this:</p>
  
  <pre><code>Please choose:
  1) Option 1
  2) Option 2
  3) Option 3
  Enter number: &lt;user input&gt;
  </code></pre>
  
  <p>So I am looking for the implementation of the following:</p>
  
  <pre><code>choice = let_user_pick(options) # returns integer
  </code></pre>
  
  <p>How would one go about this in python?</p>