Microsoft warned that a PDF editor was carrying a mining program after being hacked