Added ahal

This is a formatted copy of WPILib's default user-visible C++ API, with
a bit of completely unnecessary functionality stripped out. Most of the
stripping so far is only related to weird threading decisions.

Change-Id: Icbfd949b48cd115561862cb909bcc572aba0e753
diff --git a/frc971/wpilib/interrupt_edge_counting.cc b/frc971/wpilib/interrupt_edge_counting.cc
index 2291735..a06df8f 100644
--- a/frc971/wpilib/interrupt_edge_counting.cc
+++ b/frc971/wpilib/interrupt_edge_counting.cc
@@ -32,11 +32,12 @@
   }
 
   ::aos::SetCurrentThreadRealtimePriority(priority());
-  InterruptableSensorBase::WaitResult result = InterruptableSensorBase::kBoth;
+  frc::InterruptableSensorBase::WaitResult result =
+      frc::InterruptableSensorBase::kBoth;
   while (should_run()) {
     result = input_->WaitForInterrupt(
-        0.1, result != InterruptableSensorBase::kTimeout);
-    if (result == InterruptableSensorBase::kTimeout) {
+        0.1, result != frc::InterruptableSensorBase::kTimeout);
+    if (result == frc::InterruptableSensorBase::kTimeout) {
       continue;
     }
     interrupt_received();