updated Pepper to java 1.7
???
* now all temporary folders have a naming extension with the users name
or a randomized sequence of characters to avoid conflicts on a multiuser
system and their write permissions
* added default, that all intermediate Salt doccuments are deleted when
Pepper terminates
* added a flag in configuration 'keepSaltDocuments' to change default
behaviour and to keep the intermediate files