Some python scripts I wrote to make shell work easier