Refactor ReverseLinkedList into its class

This is in preparation of creating the new example (which does test out
the isShared equations).

See #14.
Rename the project to .srw

This reflects the intent of this project better. It does not
actually use any of the WALA IR but only uses the Dataflow framework.
Change order of variables in constructor

Makes it clearer where the selector applies to.

Need to refactor some other classes to accommodate this Change Method
Signature refactoring.

See #2, #3 and #13
Add InsertLinkedList example from Figure 14

This examples is from Figure 14 of the paper "Solving Shape-Analysis
Problems in Languages with Destructive Updating".

See #14.
Add launch configuration for examples

Enables assertions to help debugging.

See #3 and #14.