1 * Start the currency from scratch with a new customer (based on the old one) and make airdrop for anyone holding coins;

This is fair option IMO.
I vote for 1.