Correct javascript formatting
SEV 2: Add empty presentation
Remove border and box shadow from images
SEV 2: Add author information
SEV 2: Add section on {extended} static analysis
Add highlight support w/ GitHub theme
SEV 2: Add section on ESC/Java
SEV 2: Add section describing what a invariant is
SEV 2: Add section on Houdini / Whodini
SEV 2: Slight title formatting fix

This fits it on two lines. Also corrects a spelling error
SEV 2: Add section for Daikon