Zaslat SMS: Extension Theory of Symmetric Operators and Boundary Value Problems