Move notes on complete and compact metric spaces to a separate page
Add the complete_compact page to build script and index