add solution to problem 13. Note to myself: using BigInt feels kind of
cheating, maybe consider other solution.