Added header to VivaceOptions.hpp