i.sentinel.mask should remove all the *_double files about grass-addons

[veroandreo]

Ciao @RobiFag, if trivial you could push, but recommended is to commit through PR from a fix/feature branch

[RobiFag]

Maybe the *_double file can be defined as temp files that are removed at the end of the process by default but they can also be saved using the -t flag.
I put it on my TO DO list..I will make the changes in the next days!

[veroandreo]

Thanks, Robi! :)

[RobiFag]

@neteler I made changes requested by Vero. Maybe it's a trivial question but, can I push them directly or is it better to open a pull request?