Update options.dtd

translation update
Merge pull request #16 from to-ba/patch-6

Update options.dtd