Commits


move headers from include/diff/ to include/; makes things easier for consumers