itp interface version bump, with some breaking changes.#11

amit9oct merged 2 commits intomaintrishullab/proof-wala:mainfrom

usr/amit9oct/itp-interface-version-bumptrishullab/proof-wala:usr/amit9oct/itp-interface-version-bumpCopy head branch name to clipboard