Edit function decho

In 2.1 $Permission was added to decho but the way it was implemented made it default to always show $Mixed, unless $Permission = TRUE was given as an argument. Changed that so that output of decho is now not visible by default again.
Merge pull request #1867 from R-J/patch-18

Edit function decho