some short useful python scripts