rename pins header

the pins headers are for linux not arduino. changing the name to
accurately represent the file contents.