Pretty simple release:

• Fixed a bug where changing a device's resolution would clobber the greenscreen mask
• Added a few GUI options to tune the mask itself; they should be pretty self-explanatory after messing with them a bit