Add dwarf planets

[aligusnet]

Should be added the most prominent dwarfs planets:

• Pluto;
• Ceres;
• Haumea;
• Makemake;
• Eris.

Elements of planetary orbits are available in JPL Small-Body Database Browser.

Implementation details

dwarfPlanetDetails function and DwarfPlanet sum type should be defined in new module Planet/DwarfPlanetDetails.hs.

dwarfPlanetDetails will take a DwarfPlanet and return PlanetDetails defined in Planet/PlanetDetails.hs module.