Added isa definition format (incomplete) and modfied Machine.py