Added getNamesOfPinsOnBoard($board_id) to queries

should return names of all pins on a board