python: shorter concat [reverse longer]