Add copyright notice to the `Options` module

I'm using the GPLv3 license here. I don't always do this, but since I'm
going with it, I'm going with it.