started work on redstone boards, #1732
added missing icons, #1732
fixed style and removed unused files
made progress with robot recipes and boards, #1732
fixed style of previous check-in, #1732
Next impovements of MjAPI