json2db is a tool for personalized_pitest project that translates its json output to a sqlite database