FileView: allow file selection and closing

[Alexander Nittka]

The FileView holds a map for opened files. Several could be open at the same time, so there should be a combobox for switching between them and a way for closing them.