API tweak for difference()

Return int instead of int32, makes the console() work nicer
Main loop recipes
Smaller types for the shell
Upload after reset, not before...
More examples, microsecond timing