Implement simplicial complexes

[lkastner]

Wrap the corresponding polymake type and give input for the refactoring within polymake.

[micjoswig]

(Very incomplete) first draft.

Next steps:

• integral (co-)homology
• minimal non-faces; Stanley-Reisner ideals/rings

Please give feedback concerning design decisions, and you may request functionality (X-mas is near!).