python3 制約プログラミングマニュアル更新

機能追加等を反映していなかったので

更新しました。

マニュアル更新に伴い、サンプルも更新しました。現在はGithubのみの適用です。