add Function.Equality.flip
[auto] merge master into gh-pages
[auto] updated html listings