add proverc
fix typo
add inc
add travis stuff and gitignore