Novel Polycondensed Partly Saturated β-Carbolines Including Ferrocene Derivatives: Synthesis, DFT-Supported Structural Analysis, Mechanism of Some Diastereoselective Transformations and a Preliminary Study of their In Vitro Antiproliferative Effects