Update to tuffy version 4.0 hosted at Stanford

@ashish33 Take a look.