Adding sky navigation

Navigation sky

Introduction

TODO

Code in Mizar

The first step is to look to the Getting Started with Earth to create the Earth.

TODO