Cargo.toml: Use crates.io package instead of git repository
Add LICENSE
Cargo.toml: Add package information
Add document comments for all problems
remove notrust
Add problem 135