#3, #10: update frontend to display Graph loaded from JSON file correctly and to display its filename
#3, #10: update frontend to display Graph loaded from JSON file correctly and to display its filename