Update MersenneJ
update filename, add .txt
add ctime head