Refactorized iterator checking:
- Fixed false positive #5669
- Use symboldatabase in CheckStl::pushback()
- Improved support for erase on std::vector and find
Support "else if" and do-loop in CheckStl::checkDereferenceInvalidIterator()