Initial commit
readme update and added KRL ruleset.
readme update
Started ProBinder skeleton
Merge branch 'gh-pages' of https://github.com/dominicbosch/MSc-Thesis into gh-pages
auto deploy on 20130609