Small devops improvement, allow use of python 3.13 when running the makefile: https://github.com/OpenHands/OpenHands/pull/14012 3.13 is installed by default on openhands runtimes, so this will help prevent issues when running

make lint

for instance.