refactoring

[Andriamanitra]

• remove Formatter struct and move its functionality to functions
• use lazy_static! to make sure regexes are only compiled once
• use OutputStyle when printing testcase results
• various small code improvements