Fix a bug where optimizer wasn't aborted correctly
Add first example
Add a lot of examples (and redundancy)
Merge branch 'examples' into develop