added splint-enabled libxml headers
splinting C sources at build
fixed splint-found issues