Data storage and other features for kernel testing. Source code of https://datawarehouse.cki-project.org
