title: Split a string with unknown number of spaces as separator in Python
body: <p>I need a function similar to <code>str.split(' ')</code> but there might be more than one space, and different number of them between the meaningful characters. Something like this:</p>
  <pre><code>s = ' 1234    Q-24 2010-11-29         563   abc  a6G47er15        '
  ss = s.magic_split()
  print(ss)  # ['1234', 'Q-24', '2010-11-29', '563', 'abc', 'a6G47er15']
  </code></pre>
  <p>Can I somehow use regular expressions to catch those spaces in between?</p>