shell tools to download & search MySQL Server change history