Configured for JPF

I changed the default mode to be PRODUCTION rather than DEBUG. I
added the Application.jpf file to work with the JPF Eclipse
plugin. JPF then quickly found a place that was not protected with
the debug() check. I corrected the issue.
Found infinite loop

Run the current configuration several times, and it will slip into
an infinite loop.
Tweaked Random to use a seed

Random nows uses a seed, and the current seed gives the infinite
loop always.
fixed the issue where a print statement was still coming through even
when not in debug mode.
fixed infinite loop caused on min_max setting due to the receiver ended
transmission before the transmitter reached the end state.
Made the VGUI reassert its current state whenever receiving inputs that
needed to be detected immediately.
increased the duration of the minimum flight plan to allow for better
testing of anomaly detection. Added the TargetSighting event to the
Application for testing.
changed the priorities on the MM to insure that the VO knows what to
look for before the OP is told where to search. That way the VO is
actively looking during the entire search.
Related Work section has been drafted. It is ready for review.
The results section is drafted. Feel free to edit or remove it
altogether.
Fixed some grammar and style issues in the paper.
Combined with the pdf from tj, but without pictures.
I copy pasted the document from google docs for this commit.
Added Brahms Models
UAV OP take off after landing conflict solved. uav_landed triggers
op_post_flight, which moves to op_post_flight_complete, which triggers
uav_ready.
fixed issue where the sim ended before the UAV took off
Fixed infinite loop that occurred because the Operator task post_flight
was never removed.
Fixed issue where during landing sequence if the low battery light went
on the operator would attempt to restart the landing sequence.
Asserts added to the operator role. Resume, land, loiter, new flight
plan, and search aoi complete now make assertions that the UAV is
flying. Also, post flight makes an assertion that the UAV is landed.
I added some asserts to the video operator role. The VO now asserts that
the search is active during the doNextTask method.