Tools for formatting, editing and static analysis of SQL