proposal for checking if a certain option is set or not

sometimes it is necessary to check if a certain option is set or not.
Here is a proposal for optionIsSet() which does the job based on find()

regress tests for new routines in 'ring.lib' will be provided later
(fix for slocus() bug is in preparation)