Added the targets 'print_boards' and 'print_libraries' that list
the boards and libraries respectively