Formalize finite-action LinUCB regret bound #112

Part of Formalize finite-action LinUCB regret bound as described in Lattimore and Szepesvári, Bandit Algorithms.

Sub Issue 1: LinUCB Algorithm And Process API
Scope: formalize the actual finite-action LinUCB algorithm object and its process-level API.