The Miami-Dade Public Main Library was designed by Philip Johnson, has extraordinary site-specific work by Edward Ruska, and a fabulous art collection.