Merge "Adds Jasmin library"