Extracted the creation of a test package to a separate script
Created a script to call the mixing verification
Renamed the 2013 test resources, and removed the 2011 test resources for mixing
Corrected the name of the properties file for the ElGamal public keys for mixing
Corrected the package name for the mixing IZKP class to 2013
Removed the 2011 dump for the mixing database, and added the dump for 2013
Updated the dependency for PostgreSQL to org.postgresql 9.2, and added it to the classpath for IzkpMixing