Improved abstract of article `vosskuhle10pt3`

Signed-off-by: Michel Voßkuhle <m.vosskuhle@gmail.com>
Added newly published article `vosskuhle15jot` and

deleted corresponding ArXiv version

Signed-off-by: Michel Voßkuhle <m.vosskuhle@gmail.com>