Minor changes to Machine.py, coreObjects list with operated Objects added to Repairman