Add a tutorial how to model a more interesting problem

[rkaminsk]

For example n-Quens comes to mind. Should make use of https://potassco.org/clingo/run/ and maybe even incorporate clingraph (or some JavaScript thingy) somehow .