A Python start-up script implementing an enhanced interpreter