Updated eiface code.
Created a library eiface.
Refactor directory structure.
Updated comments and added EIS references.
Updated Readme
Remove wrong postcondition.
Merge pull request #1 from jvelilla/jv_review

Updated eiface code.