Add the DiffSharp library

Hopefully the wording and description make it fairly clear to what it is.