Setting up the Python runtime for Burp Extensions