Cloogoptions

Pull request for cloogoptions extension.
Taj.