Introduction to CAT tools