Disk-swapping interface

Here's the new disk-swapping interface. I think it is flexible enough to facilitate .m3u style loading as well as a "replace disk image from filebrowser"-use case.