Save result.txt as json-deserialisable object

Right now result.txt generetad from MIAResult cannot be parsed by a json parser (as it is saved as dictionary object converted to string). Instead save MIAResult to user by using json.dump (similarly to saving results in file for attack hash).