Cleaned w3c-tidy directory
isolated needed stuff in w3c-tidy-html5