Merge frontend branch into dev

[annachiu7]

• Improve map display on search
• Select by map extent gives users more feedback
• Users can now clear selection by map extent using a new button
• Import/Export query updated
• About page updated
• Pretty print JSON feature collection output
• Fix inconsistency when turning results page
• Tooltips added for ambiguous buttons

[annachiu7]

@han16nah Can you approve the PR now? :)

[han16nah]

@han16nah Can you approve the PR now? :)

yes!