Small update to user manual

Added note on fixing cvode.cxx if it fails to compile (int vs long issue)