Move bucket-related parameters to bucket file
Make contacts serializable
Add some tests for buckets
Generalize MAKE-KEY for keys of *key-length*