git add --all in publish-listings script
add compatibility modules for Props -> Properties rename

Fixes #2
added the the basic lemmas marked as private in Data.Nat.Properties to Data.Nat.Properties.Simple
adde a comment pointing to Data.Nat.Properties.Simple to Data.Nat.Properties
removed previously private lemmas from Data.Nat.Properties, now imported from Data.Nat.Properties.Simple
	modified:   src/Data/Nat/Properties.agda
Merge pull request #5 from jmchapman/master

added the the basic lemmas marked as private in Data.Nat.Properties to Data.Nat.Properties.Simple
[auto] merge master into gh-pages
[auto] updated html listings