Change required splash version to 1.2
Use splash:: namespace to avoid conflicts
Update tools for splash 1.2
Merge pull request #402 from f-schmitt-zih/topic-splash1.2

Update libSplash dependency to 1.2.0