Add boards.txt so it's easy to find!