Information about planets in the solar system (trying out github in linux lectures)