Arduino plugin to provide pcDuino support