Fixed deprecation warnings on Hint Resolve

The default value for hint locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding hints outside of sections without specifying an explicit locality is therefore deprecated.

All of our hints happen to be outside sections, so I specified "Global".

Fixes: #69 (closed)

analysis/facts/model/ideal_schedule.v

@@ -196,7 +196,7 @@ End IncrementalService.
 (** * Automation *)
 (** We add the above lemmas into a "Hint Database" basic_facts, so Coq 
     will be able to apply them automatically. *)
-Hint Resolve ideal_proc_model_is_a_uniprocessor_model
+Global Hint Resolve ideal_proc_model_is_a_uniprocessor_model
      ideal_proc_model_ensures_ideal_progress
      ideal_proc_model_provides_unit_service : basic_facts.