Fixed suggestions by Evan

Inclusion guard for header files
Change Witness::getLength to Witness::getMinimumLength
Removed a couple stale includes
Added some author info
Use new intersection algorithm, check for no final states in result
Merge branch 'master' of github.com:WaliDev/WALi-OpenNWA