an auto-update framework for frozen python apps