Create alarm_report_template.md

Author: tylergu

demo/lab1/alarm_report_template.md

@@ -0,0 +1,18 @@
+---
+name: Alarm Inspection Report
+about: An analysis report for the alarms produced by Acto
+
+---
+
+## What happened
+Why did Acto raise this alarm?
+What happened in the state transition?
+Why Acto’s oracles raised an alarm?
+
+
+## Root Cause
+Why did the operator behave in this way? Please find the exact block in the operator source code resulting in the behavior.
+
+## Expected behavior?
+If it is a true alarm, how to fix it in the operator code? 
+If it is a false alarm, how to fix it in Acto code?