Adjusted main() of WarcFileFilter.java to include stripHTML as option.