lean のコードブロックを lean4 web editor で開くためのボタンを表示する

lean のコードブロックを lean4 web editor で開くためのボタンを表示する #60