Fix options update notification...

* Options update notification now working properly for single servlet and for multiple servlets using the same properties file (same JVM).
* Added some unit tests for OptionsImpl
* getoptions console command now displays the location of the options properties file
* Added getservletdir console command to display the location of the servlet working directory

This pull request fixes issue #236.