added 'options' field to boardinfo json files (and added missing files for boards)