Add mathlib.fc library by default

[PanForPancakes]

Currently only stdlib.fc is provided by default, providing mathlib.fc might simplify writing smart contracts by newcomers, as they would not necessarily have to search for this library in case they need it.

Link to mathlib.fc: https://github.com/ton-blockchain/ton/blob/master/crypto/smartcont/mathlib.fc