Can you tell me how many lines of codes are there in the bitcoin core software?