Constant agda_mode::agda::START_FAIL

pub const START_FAIL: &str = "Failed to start Agda";