port to spongy castle 1.4.7 instead of using our own version

The BC API changed see http://www.bouncycastle.org/wiki/pages/viewpage.action?pageId=5013508
new test project to test the SSL verifier with tlspretense
run code formatter
export the jar files because latest ADT does not automatically do so
new constructors to initialize a custom KeyStore
format library code