Time locked Bitcoins could incentivize smooth hard-forks