Merge pull request #8 from goldhoorn/singleton_fix

Added missing include for is_singleton?
Merge branch 'master' of https://github.com/goldhoorn/tools-roby
workarounded annoying error message in shell