Basic working version with states.

A lot of TODOs and error checking remain, but this is a skeleton upon
which an Engine can be built and the remainder of the specification can
be implemented.
Merge pull request #1 from BlackVegetable/dev

Dev
Added support for timeouts.

Timeouts require an optional argument be set. If this argument
which represents time elapsed exceeds the predetermined timeout,
the timeout block will be executed.
Merge remote-tracking branch 'origin'
Revised some of the paper.

The introduction has been touched up. The solutions section has been
reworked in light of some of the work we've done so far. A few
bullet points were added or removed. The first couple of paragraphs
of related work has been cleaned up a bit but we still need to address
the remaining related work paragraphs.
Removed Kobus from authors list.

Kobus has nothing to do with this project and has rightfully requested
that his name be removed from the authors list.
Fixed indentation.

Some tabs snuck in, those sneaky jerks!
+Side effects, +conjunctions

Native support for inc, dec, and set is still pending.
Added comparison support.

Added conjunctions to comparisons to the language definition as well.
Added test coverage (hah!) to the test.dsml file.
Added engine basics, one side effect

The engine relies on an initial state that is not set by the
compiler yet. The compiler now combines engine with dsml output.
writing draft for engine code with one side effect
Added __initial_state to dsm file.

The initial state is now known globally to the DSM.
Now strings are supported as arguments.

This involved some ugly python string parsing trickery such as
using __repr__ on non-strings and __str__ on strings... ugly, indeed.
Cleaned up related work.

Also changed how the introduction references the related work section.
Added half of the implementation section.

We need a reference for scapy and half of the section remains to be
written.
Edit code and Added most of the side effects needed
Log to a file of our tool
Fixed up the syntax etc. of the engine.

Also made the stacktrace display "Timeout" instead of
"None" when a timeout was reached instead of a packet.
Used better naming than dump.
Merge pull request #4 from BlackVegetable/engine-fixes

edit of engine code