write some doc and simplify layout
add more doc
fix bug leading to removal of tried deps although it has already been tried
improve outputs
clarified dep-solving
now correctly load+run missing ancestors
fix example to use proper query
fix storage of ancestors