[erlang-patches] Use erlang:demonitor(Ref, [flush]) where applicable

[Loïc Hoguin]

Hello,

This patch complements Anthony Ramine's by replacing erlang:demonitor/1 
calls with erlang:demonitor(Ref, [flush]) where applicable, except in 
the 'file' module where a better optimization was done in his patch.

A define test on SNMP_R10 was removed as this probably isn't used 
anymore. The token wasn't found anywhere else in the repository.

	git fetch https://github.com/essen/otp.git demonitor-flush

	https://github.com/essen/otp/compare/erlang:maint...demonitor-flush
	https://github.com/essen/otp/compare/erlang:maint...demonitor-flush.patch

Enjoy!

-- 
Loïc Hoguin
Erlang Cowboy
Nine Nines
http://ninenines.eu