GUI.cpp

This patch fixes an old design flaw in the post-processing module,
namely that we used a list of Post_View objects instead of a list of
pointers to Post_View objects in CTX.post.list.

This had many annoying consequences, in particular the fact that we
needed to be extra careful every time the list was reallocated (as
pointers to the list elements would become invalid).

I tried very hard to change the code everywhere it should be changed,
but I might have missed something. Please let me know if you see
anything suspicious (like a crash when you duplicate/remove/combine/...
post-processing views).