Added PBKD based on SHA512. Added a little test using driver.c