Start to proof of backtracker optimality
Half-baked revision of the report, still needs a lot of work, and has a lot of inconsistencies
Merge branch 'master' of https://github.com/LasseBlaauwbroek/ContainerStack into non-working-backtracker