Added pico_dhcp_server_destroy() function, allowing the termination of a running DHCP server. Documentation updated accordingly.

Fixed #102