Precise dependencies compatibility

[a-alveyblanc]

• Adds HappensAfter data structure
• Adds routine to compute lexicographic order of statements (found in loopy/kernel/dependency.py)
• Updates InstructionBase to accommodate precise dependency semantics (depends_on -> happens_after)
• Other changes to remedy the fact that depends_on is now happens_after