Update readme
Add shared examples to spec_examples, refresh knapsack report