Plugged in FlateEncoding filter in writer.

In dictionary insert, duplicated entry is destroyed automatically, seems TOO blunt. Need to implement dictionary deletion functions.