Update for Julia push! changes; added machines.jl (not working yet);
other fixes.