some helpful scripts around mysql management