Fix code formatting and imports

[dgsantana]

This PR includes a standard cargo fmt pass in all code, and also updates all the cargo lock files of the examples.