Documentation of Djehuty: a data and software repository system.