Cleanup, derive task encoder caches

[JonasAlaif]

Cleanup changes. Replaces #27

• CACHE and with_cache in every encoder is replaced by a macro call.
• Some Rust feature attributes were no longer needed.
• Code commented out in prusti-encoder/src/lib.rs was a sketch of various encoders that now exist.