make information extraction from session file options list robust against some old badly formatted session files

Fixes crash experienced by GillesM, where a rogue XML entry caused a segfault