add redex-tests dir; add html redex model
redex-check random test parse-markdown with html
Merge remote branch 'upstream/master'
redex html: test all variations of close tags
randomly choose closetag variation instead of all
Merge remote-tracking branch 'upstream/master'
alink -> link
Merge pull request #23 from stchang/master

add redex-based random testing for html