SQL: drop index

Summary

Implement DROP INDEX command. For this purpose an index name must be unique in _pico_index, so a new breaking change for schema: all _pico indexes were renamed as well.

• Depends on sbroad!413 (merged), !929 (merged)
• Docs follow-up: docs#227 (closed), docs#228 (closed)